We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

During the German-Soviet War and in the decades that followed, the Volyn Orthodox clergy functioned under a cohesive social ghetto, which was to ensure the gradual assimilation of the social group in accordance with the needs of the totalitarian regime. In this situation, the national self-awareness of a part of the sacred priests did not fit into the coordinates of the Nazi religious and ethnic politics and, later, into the process of creation of the Soviet people. The question of national (...) identity remains relevant, and now, when it is the basis of the newest Ukrainian state-making, it has caused division in the Orthodox field. The national consciousness of the Volyn clergy in the years of war and in the era of Soviet totalitarianism never became a topic of separate study. To date, scientists have only partially addressed the problem. Although in 1960, the head of the ROC Council, V. Kuroedov, said that the remnants of religious remnants contributed to preserving the bourgeois nationalist sentiment. The compilers of the first volume of documents and materials “Martyrology of the Ukrainian Churches” Osip Zinkevich and Alexander Voronin, analyzing the national composition of the bishopric of the Russian Church in Ukraine as of 1986, hoped that in case of revival of Ukrainian Orthodoxy, the origin of some of them role. (shrink)

In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is optimism, the view that there are such problems is pessimism. In his 1995—and, revised in 2013—Verificationism Then and Now, Per Martin-Löf presents an illustrative argument for a constructivist form of optimism. In response to that argument, Solomon Feferman points out (...) that Martin-Löf’s reasoning relies upon constructive understandings of key philosophical notions. In the vein of Feferman’s analysis, one might be object to Martin-Löf’s argument for either its reliance upon constructivist considerations, or for its appeal to non-unproblematically mathematical premises. We argue that both of these responses fall short. On one hand, to be critical of Martin-Löf’s reasoning for its constructiveness is to reject what would otherwise be a scientific advance on the basis of the assumption of constructivism’s falsehood or implausibility, which is of course uncharitable at best. On the other hand, to object to the argument for its use of non-unproblematically mathematical premises is to assume that there is some philosophically neutral mathematics, which is implausible. Martin-Löf’s argument relies upon his third law, the claim that from the impossibility of a proof of a proposition we can construct a proof of its negation. We close with a discussion of some ways in which this claim can be criticized from the constructive point of view. Specifically, we contend that Martin-Löf’s third law is incompatible with what has been called “Poincaré’s Principle of Epistemic Conservation”, the thesis that genuine increase in mathematical knowledge requires subject-specific insight. (shrink)

Festschrift in honor of V.N. Jha, b. 1946, Indologist; comprises contributed papers on various aspects of Vedic literature and philosophy.

Purpose. The purpose of the study is to outline the links between individual and collective dimensions of the human worldview. This purpose requires solving two tasks: to update philosophical ideas formed by reflection on human and community worldview; to identify and generalize the relationship of singular and general in the context of the problem of human worldview. Theoretical basis. The study is based on philosophical reflections about manifestations of singular and general worldviews. Such reflections appeared in European philosophy quite a (...) long time ago. Ukrainian and foreign philosophical discourse considers both measures of the worldview. And a role of the carrier of worldview plays either human or society. We can see that in researches of S. Krymskyi, I. Nadolniy, V. Popov, N. Rozhanska, V. Tabachkovskyi, V. Shynkaruk, V. Poythress, D. Rousseau, D. Billingham, C. Gianolla and others. However the links between individual and collective dimensions of worldview are not clearly outlined. It is possible to note the research of V. Popov who focuses on the problem of socio-collective and individual dimensions of worldview. But the scientist focuses more on the use of the concept of worldview in these two meanings. Human as a social being interacts with worldviews of other individuals. That is why we can speak of two dimensions of the worldview function: individual and collective. This problem became topical due to acuteness of the links between human and society in modern life. Originality. The author outlined key links between individual and collective dimensions of human worldview functioning. The study identified a role of human as a carrier of the worldview in formation of collective worldview. Conclusions. Human as a worldview carrier plays a key role in formation of collective worldview. In philosophical discourse thoughts about links between individual and collective worldviews are different and sometimes conflicting. We have a discussion problem of uniformity and diversity of collective worldview. Collective worldview is showed as a circulation of different ideas and views of individuals. But collective worldview is showed as a whole system of individual views too. Collective worldview manifests as integrated phenomenon because it is based on common worldviews of individuals. At the same time the human is influenced by collective worldview in particularly as a past generation heritage. (shrink)

The issues related to the multilingual situation in modern Bashkiria are discussed in the article, configuration of multilingualism is given on the basis of extensive and representative data of the latest census. Multilingual issues are discussed in the context of the social functions of philology, as well as a set of measures of a regulatory nature undertaken by the government and society to ensure social, ethno-cultural and inter-ethnic stability. The author believes that the language situation with multilingualism depends on a (...) number of sociolinguistic variables, but the invariant feature of all modifications of multilingualism in Bashkiria should be considered as a factor of the maximum level of language loyalty towards the Russian language. This factor provides a comprehensive and decisive impact on the conditions and status of multilingualism in the republic. (shrink)

The relevance of the study is that the analysis of education as a factor in the formation and development of a creative personality and the conditions conducive to the emergence of a "new creative class" is done. Formulation of the problem - the conceptualization of education as a factor in the formation and development of a creative personality, its main categories in terms of "creativity" and the demand of man as a creator of an innovative environment, based on a new (...) level of interaction "man-society-education", changing the model of sociality. Analysis of recent research and publications. In the study, we rely on the phenomenon of creativity, which is studied in the works of V. Andruschenko, V. Beh, V. Voronkova, A. Kravchenko, S. Kutsepal, O. Kivlyuk, R. Olexenko. The main focus is on Richard Florida's work "Homo creatives: How the New Class Conquers the World". The matrix of education as a factor in the formation and development of a creative personality focuses attention on the discourse thinking of the relationship "creative personality-education" and the influence of the information society on these relationships. Exemption of unexplored parts of the general problem - conceptualization of the concept of "creative personality" and its role in modern information society. At the heart of the study - the conceptualization of the basic schemes of creativity and this is a scientific novelty. The epistemological character of the statement and the praxeological solution of this problem in favor of a creative person and education show that the society must have the necessary and sufficient resources for the reproduction of a creative person and its effective development that affects the social sphere of man. The basic material. The analysis of formation and development of the creative person as the main factor of education is carried out; the definition of "creative personality" is presented; it is proved that the creative component is the dominant factor necessary for solving problems of efficiency of all spheres of activity, including economic ones; conditions that contribute to the growth of the creative component in the future are analyzed ; It was found that it is a "creative social class" as a new class of information society. The object of research is the concept of a creative personality as a new social and cultural phenomenon. The subject of research is the influence of the information society on the formation and development of a creative personality. Methodology is a method of cultural creation, which provides an opportunity for the formation and development of a creative personality. Conclusions - the concept of education as a factor in the formation and development of a creative personality in the conditions of the information society is formed. (shrink)

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

The interaction of the organism with the environment requires not only reactive, but also active behavior (i.e., search activity) which helps subject to meet the challenge of the uncertainty of the environment. A positive feedback between active behavior and immune system makes the selection process effective.

Анализируется круг проблем, к которым было приковано преимущественное внимание русских философов указанного периода. Это - идущее от А. С. Хомякова философское осмысление Божественного Триединства.

The article gives a short account of V.A. Smirnovs scientific biography, including his work in Tomsk University in Siberia and in the Department of Logic of the Institute of Philosophy in Moscow.